若概念S是概念P的种概念，则下述命题中必真的有（）。答案: SAP SIP